$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $L$:($A$ List), $x$:$A$. deq{-}member(${\it eq}$; $x$; $L$) $\in$ $\mathbb{B}$